A Logic of East and West

نویسندگان

چکیده

We propose a logic of east and west (LEW ) for points in 1D Euclidean space. It formalises primitive direction relations: (E), (W) indeterminate east/west (Iew). has parameter τ ∈ N>1, which is referred to as the level indeterminacy directions. For every we provide sound complete axiomatisation LEW , prove that its satisfiability problem NP-complete. In addition, show finite axiomatisability depends on : if = 2 or 3, then there exists axiomatisation; > not finitely axiomatisable. can be easily extended higher-dimensional spaces. Extending 2D space makes it suitable reasoning about perfectly aligned representations same spatial objects different datasets, example, crowd-sourced digital maps.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

East is East and west is west.

This position paper addresses the long-standing criticism that the International Baccalaureate (IB) is too closely associated with Western values and, despite its title, does not enable students to see the world from a truly international perspective. Considering evidence from different authorities, it analyses the IB learner profile and asks how appropriate it is for the cultures of East Asia....

متن کامل

A Survey of Currency Anchor Selection in East-West Asia

 As the number of independent countries increases and their economies become more integrated, we would expect to observe more multi-country currency :::union:::s. This paper explores the pros and cons for different countries to adopt as an anchor the US Dollar, the Euro or the Yen. In addition, it addresses the question of how co-movement of outputs and prices would respond to the formation of ...

متن کامل

Hypertension; East and West

Submit Manuscript | http://medcraveonline.com myocardial infarction and cerebrovascular diseases consistently contribute to most morbid and mortal events in most parts of the world. Many of these cardiovascular events are premature in nature, especially in the developing world [2]. These premature deaths of individuals who should be productive to society will in turn confer additional burden to...

متن کامل

a comparison of linguistic and pragmatic knowledge: a case of iranian learners of english

در این تحقیق دانش زبانشناسی و کاربردشناسی زبان آموزان ایرانی در سطح بالای متوسط مقایسه شد. 50 دانش آموز با سابقه آموزشی مشابه از شش آموزشگاه زبان مختلف در دو آزمون دانش زبانشناسی و آزمون دانش گفتار شناسی زبان انگلیسی شرکت کردند که سوالات هر دو تست توسط محقق تهیه شده بود. همچنین در این تحقیق کارایی کتابهای آموزشی زبان در فراهم آوردن درون داد کافی برای زبان آموزان ایرانی به عنوان هدف جانبی تحقیق ...

15 صفحه اول

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Artificial Intelligence Research

سال: 2023

ISSN: ['1076-9757', '1943-5037']

DOI: https://doi.org/10.1613/jair.1.14113